Model checking probabilistic systems have been studied well these years, but counterexample generation for probabilistic system model checking has just drawn some attentions recently.

模型检测基于概率系统的反例产生问题，在最近引起人们的关注。

youdao

Pouget says a probabilistic decision-making system like this has several advantages.

Pouget认为像这样的概率决策系统有很多优势。

youdao

Finally the possible failure mode and the corresponding reliability of the dam are obtained by the system reliability formula from the conditional probabilistic theory.

通过建立在条件概率基础上的体系可靠度公式，找出拱坝的最大可能失效模式与相应的可靠度。

youdao

He points out that, with the exception of an informal system in California, no country in the world has yet set up regular probabilistic earthquake forecasting that can be used to guide emergency actions.

ECONOMIST: An extraordinary manslaughter trial starts in Italy